Fingerprint Databases for Theorems

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Fingerprint databases for theorems

“Fingerprint, in the anatomical sense, is a mark made by the pattern of ridges on the pad of a human finger. The term has been extended by metaphor to anything that can uniquely distinguish a person or object from another.” [26]. Suppose thatM is a mathematician, and thatM has just proved theorem T . How is M to know if her result is truly new, or if T (or perhaps some equivalent reformulation ...

متن کامل

Indexing Fingerprint Databases Based on Multiple Features

In a fingerprint identification system, a person is identified only by his fingerprint. To accomplish this, a database is searched by matching all entries to the given fingerprint. However, the maximum size of the database is limited, since each match takes some amount of time and has a small probability of error. A solution to this problem is to reduce the number of fingerprints that have to b...

متن کامل

A Real-Time Matching System for Large Fingerprint Databases

With the current rapid growth in multimedia technology, there is an imminent need for efficient techniclues to search and query large image databases. Because of their unique and peculiar needs, image databases cannot be treated iri a similar fashion to other types of digital libraries. The contextual dependencies present in images, and the complex nature of two-dimensional image data make the ...

متن کامل

Database fingerprint (DFP): an approach to represent molecular databases

BACKGROUND Molecular fingerprints are widely used in several areas of chemoinformatics including diversity analysis and similarity searching. The fingerprint-based analysis of chemical libraries, in particular of large collections, usually requires the molecular representation of each compound in the library that may lead to issues of storage space and redundant calculations. In fact, informati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Notices of the American Mathematical Society

سال: 2013

ISSN: 0002-9920,1088-9477

DOI: 10.1090/noti1029